Informationen
Um Informatiksysteme zu verstehen, braucht man einfache theoretische Modelle. Das sind die Automaten. Untrennbar mit Automaten verbunden sind die formalen Sprachen. Deshalb sind diese - worüber man gern diskutieren kann - hier mit eingepflegt.